#include<cstdio>
int main(){
	int x[10];
	for(int n=0;n<10;n++){
		scanf("%d",&x[n]);
	}
	int a;
	int count;
	for(int m=0;m<10;m++){
		if(x[m]>=0){
			count=0;
			a=x[m];
			for(int h=0;h<10;h++){
				if(a==x[h]){
					count++;
					x[h]=-1;
				}
			}
			printf("%4d:%4d\n",a,count);
		}
	}
}

